Growth in solvable subgroups of GL_r(Z/pZ)

Let $K=Z/pZ$ and let $A$ be a subset of \GL_r(K) such that is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning $|A\cdot A\cdot A|\gg |A|^{1+\delta}$), or else there are groups $U_R$ and $S$, with $S/U_R$ nilpotent such that $A_k\cap S$ is large and $U_R\subseteq A_k$, where $k$ is a bounded integer and $A_k = \{x_1 x_2...b x_k : x_i \in A \cup A^{-1} \cup {1}}$. The implied constants depend only on the rank $r$ of $\GL_r(K)$. When combined with recent work by Pyber and Szab\'o, the main result of this paper implies that it is possible to draw the same conclusions without supposing that is solvable.Comment: 46 pages. This version includes revisions recommended by an anonymous referee including, in particular, the statement of a new theorem, Theorem

Entropy of Bernoulli convolutions and uniform exponential growth for linear groups

The exponential growth rate of non polynomially growing subgroups of $GL_d$ is conjectured to admit a uniform lower bound. This is known for non-amenable subgroups, while for amenable subgroups it is known to imply the Lehmer conjecture from number theory. In this note, we show that it is equivalent to the Lehmer conjecture. This is done by establishing a lower bound for the entropy of the random walk on the semigroup generated by the maps $x\mapsto \lambda\cdot x\pm 1$, where $\lambda$ is an algebraic number. We give a bound in terms of the Mahler measure of $\lambda$. We also derive a bound on the dimension of Bernoulli convolutions.Simons Foundation Royal Society ER

Nilprogressions and groups with moderate growth

We show that doubling at some large scale in a Cayley graph implies uniform doubling at all subsequent scales. The proof is based on the structure theorem for approximate subgroups proved by Green, Tao and the first author. We also give a number of applications to the geometry and spectrum of finite Cayley graphs. For example, we show that a finite group has moderate growth in the sense of Diaconis and Saloff-Coste if and only if its diameter is larger than a fixed power of the cardinality of the group. We call such groups almost flat and show that they have a subgroup of bounded index admitting a cyclic quotient of comparable diameter. We also give bounds on the Cheeger constant, first eigenvalue of the Laplacian, and mixing time. This can be seen as a finite-group version of Gromov's theorem on groups with polynomial growth. It also improves on a result of Lackenby regarding property (tau) in towers of coverings. Another consequence is a universal upper bound on the diameter of all finite simple groups, independent of the CFSG.Comment: 37 pages. Minor changes made by a copy editor. To appear in Adv. Mat

A new look at C*-simplicity and the unique trace property of a group

We characterize when the reduced C*-algebra of a group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C*-algebra. We also give a simple proof of the recent result by Breuillard, Kalantar, Kennedy and Ozawa that the reduced C*-algebra of a group has unique tracial state if and only if the amenable radical of the group is trivial.Comment: 8 page

Positivity of Lyapunov exponents for a continuous matrix-valued Anderson model

We study a continuous matrix-valued Anderson-type model. Both leading Lyapunov exponents of this model are proved to be positive and distinct for all ernergies in $(2,+\infty)$ except those in a discrete set, which leads to absence of absolutely continuous spectrum in $(2,+\infty)$. This result is an improvement of a previous result with Stolz. The methods, based upon a result by Breuillard and Gelander on dense subgroups in semisimple Lie groups, and a criterion by Goldsheid and Margulis, allow for singular Bernoulli distributions

Expansion in perfect groups

Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with respect to the generating set S form a family of expanders when q ranges over square-free integers with large prime divisors if and only if the connected component of the Zariski-closure of Ga is perfect.Comment: 62 pages, no figures, revision based on referee's comments: new ideas are explained in more details in the introduction, typos corrected, results and proofs unchange

On normalish subgroups of the R. Thompson groups

Funding: UK EPSRC grant EP/R032866/1Results in C∗ algebras, of Matte Bon and Le Boudec, and of Haagerup and Olesen, apply to the R. Thompson groups F ≤ T ≤ V. These results together show that F is non-amenable if and only if T has a simple reduced C∗-algebra. In further investigations into the structure of C∗-algebras, Breuillard, Kalantar, Kennedy, and Ozawa introduce the notion of a normalish subgroup of a group G. They show that if a group G admits no non-trivial finite normal subgroups and no normalish amenable subgroups then it has a simple reduced C∗-algebra. Our chief result concerns the R. Thompson groups F < T < V; we show that there is an elementary amenable group E < F (where here, E ≅ ...)≀Z)≀Z)≀Z) with E normalish in V. The proof given uses a natural partial action of the group V on a regular language determined by a synchronizing automaton in order to verify a certain stability condition: once again highlighting the existence of interesting intersections of the theory of V with various forms of formal language theory.Postprin

Compactifications and algebraic completions of Limit groups

In this paper we consider the existence of dense embeddings of Limit groups in locally compact groups generalizing earlier work of Breuillard, Gelander, Souto and Storm [GBSS] where surface groups were considered. Our main results are proved in the context of compact groups and algebraic groups over local fields. In addition we prove a generalization of the classical Baumslag lemma which is a useful tool for generating eventually faithful sequences of homomorphisms. The last section is dedicated to correct a mistake from [BGSS] and to get rid of the even genus assumption.Comment: v2: Substantial changes to sections 7 and 8.2. Typos corrected. References added. v3: Acknowledgement correcte

Localization for a matrix-valued Anderson model

We study localization properties for a class of one-dimensional, matrix-valued, continuous, random Schr\"odinger operators, acting on L^2(\R)\otimes \C^N, for arbitrary $N\geq 1$. We prove that, under suitable assumptions on the F\"urstenberg group of these operators, valid on an interval $I\subset \R$, they exhibit localization properties on $I$, both in the spectral and dynamical sense. After looking at the regularity properties of the Lyapunov exponents and of the integrated density of states, we prove a Wegner estimate and apply a multiscale analysis scheme to prove localization for these operators. We also study an example in this class of operators, for which we can prove the required assumptions on the F\"urstenberg group. This group being the one generated by the transfer matrices, we can use, to prove these assumptions, an algebraic result on generating dense Lie subgroups in semisimple real connected Lie groups, due to Breuillard and Gelander. The algebraic methods used here allow us to handle with singular distributions of the random parameters

Small doubling in groups

Let A be a subset of a group G = (G,.). We will survey the theory of sets A with the property that |A.A| <= K|A|, where A.A = {a_1 a_2 : a_1, a_2 in A}. The case G = (Z,+) is the famous Freiman--Ruzsa theorem.Comment: 23 pages, survey article submitted to Proceedings of the Erdos Centenary conferenc